

#ifndef XPLATFORM_H__
#define XPLATFORM_H__

#include "rtl876x_wdg.h"
#include "rtl876x_aon_wdg.h"

#define SYSTEM_SET_RESET()      WDG_Enable(); WDG_SystemReset(RESET_ALL, SW_RESET_APP_START)

#endif
